School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
701	Stanford University s School of Engineering Computer Science Theory TrackProgram Sheet Add to Reading List Source URL: csmajor.stanford.edu Language: English - Date: 2014-07-31 18:56:47
702	Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed Add to Reading List Source URL: cgo.org Language: English - Date: 2014-03-05 20:23:50 Data types Procedural programming languages C++ Object-oriented programming languages Theory of computation Undefined value Const Valgrind Undefined Reference ALGOL 68 Pointer
703	Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondˇrej Lhot´ak D. R. Cheriton School of Computer Science Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2008-10-22 10:01:40
704	Making Offline Analyses Continuous Kıvanç Mu¸slu , Yuriy Brun , Michael D. Ernst , David Notkin Computer Science & Engineering School of Computer Science University of Washington University of Massachusetts Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2013-08-03 13:07:19
705	Stanford University School of Engineering Computer Science Artificial Intelligence TrackProgram Sheet Add to Reading List Source URL: csmajor.stanford.edu Language: English - Date: 2011-09-13 16:51:09
706	Higher-Order Game Theory Paulo Oliva Queen Mary University of London School of Electronic Engineering and Computer Science London, E1 4NS United Kingdom of Great Britain and Northern Ireland Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 11:59:47 Computability theory Recursion Operations research Bar recursion FP Oliva Mathematical optimization
707	Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies Rafael S. Gon¸calves, Bijan Parsia, and Uli Sattler School of Computer Science University of Manchester Manchester, United Kingdom Add to Reading List Source URL: www.rsgoncalves.com Language: English
708	Multilingual Dependency-based Syntactic and Semantic Parsing Wanxiang Che, Zhenghua Li, Yongqiang Li, Yuhang Guo, Bing Qin, Ting Liu Information Retrieval Lab School of Computer Science and Technology Harbin Institute of Add to Reading List Source URL: ir.hit.edu.cn Language: English - Date: 2013-09-25 10:29:37
709	Stanford University  School of Engineering Computer Science Human-Computer Interaction TrackProgram Sheet Add to Reading List Source URL: csmajor.stanford.edu Language: English - Date: 2011-12-12 18:13:46
710	Randomized Backtracking: Next Steps Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca Abstract—The use of randomized backtracking Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2011-10-22 14:36:02

UPDATE